|
In differential geometry, a complex manifold is a manifold with an atlas of charts to the open unit disk〔One must use the open unit disk in C''n'' as the model space instead of C''n'' because these are not isomorphic, unlike for real manifolds.〕 in C''n'', such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense above (which can be specified as an integrable complex manifold), and an almost complex manifold. ==Implications of complex structure== Since holomorphic functions are much more rigid than smooth functions, the theories of smooth and complex manifolds have very different flavors: compact complex manifolds are much closer to algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth n-dimensional manifold can be embedded as a smooth submanifold of R''2n'', whereas it is "rare" for a complex manifold to have a holomorphic embedding into C''n''. Consider for example any compact connected complex manifold ''M'': any holomorphic function on it is locally constant by Liouville's theorem. Now if we had a holomorphic embedding of ''M'' into C''n'', then the coordinate functions of C''n'' would restrict to nonconstant holomorphic functions on ''M'', contradicting compactness, except in the case that ''M'' is just a point. Complex manifolds that can be embedded in C''n'' are called Stein manifolds and form a very special class of manifolds including, for example, smooth complex affine algebraic varieties. The classification of complex manifolds is much more subtle than that of differentiable manifolds. For example, while in dimensions other than four, a given topological manifold has at most finitely many smooth structures, a topological manifold supporting a complex structure can and often does support uncountably many complex structures. Riemann surfaces, two dimensional manifolds equipped with a complex structure, which are topologically classified by the genus, are an important example of this phenomenon. The set of complex structures on a given orientable surface, modulo biholomorphic equivalence, itself forms a complex algebraic variety called a moduli space, the structure of which remains an area of active research. Since the transition maps between charts are biholomorphic, complex manifolds are, in particular, smooth and canonically oriented (not just orientable: a biholomorphic map to (a subset of) C''n'' gives an orientation, as biholomorphic maps are orientation-preserving). 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「complex manifold」の詳細全文を読む スポンサード リンク
|